Symmetry and Cauchy Completion of Quantaloid-enriched Categories
نویسنده
چکیده
We formulate an elementary condition on an involutive quantaloidQ under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids, which we call Cauchy-bilateral quantaloids, it follows that the Cauchy completion of any symmetric Q-enriched category is again symmetric. Examples include Lawvere’s quantale of non-negative real numbers and Walters’ small quantaloids of closed cribles.
منابع مشابه
Categorical Structures Enriched in a Quantaloid: Categories, Distributors and Functors
We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloidQ. In analogy with V-category theory we discuss such things as adjoint functors, (pointwise) left Kan extensions, weighted (co)limits, presheaves and free (co)completion, Cauchy completion and Morita equivalence. With an appendix on the uni...
متن کاملCategorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call ‘Q-order’. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion. There is a quantaloid Idl(Q) of Q-orders and ideal relations, and a locally ordered category Ord(Q) of Q-orders and monotone maps; actually, Ord(Q) = Map(Idl(Q)...
متن کاملCovariant Presheaves and Subalgebras
For small involutive and integral quantaloids Q it is shown that covariant presheaves on symmetric Q-categories are equivalent to certain subalgebras of a speci c monad on the category of symmetric Q-categories. This construction is related to a weakening of the subobject classi er axiom which does not require the classi cation of all subalgebras, but only guarantees that classi able subalgebra...
متن کاملPreordered sets valued in a GL-monoid
Let M = (L , ∗) be a GL-monoid. An M-valued preordered set is an L-subset endowed with a reflexive and M-transitive L-relation, it is essentially a category enriched in a quantaloid generated by M. This paper presents a study of M-valued preordered sets with emphasis on symmetrization and the Cauchy completion. The main result states that symmetrization and the Cauchy completion of M-valued pre...
متن کاملChu connections and back diagonals between $\mathcal{Q}$-distributors
Chu connections and back diagonals are introduced as morphisms for distributors between categories enriched in a small quantaloid Q. These constructions, meaningful for closed bicategories, are dual to that of arrow categories and the Freyd completion of categories. It is shown that, for a small quantaloid Q, the category of complete Q-categories and left adjoints is a retract of the dual of th...
متن کامل